Merge pull request #527 from antonio-nino-diaz-arm/an/non_ascii
authordanh-arm <[email protected]>
Thu, 18 Feb 2016 18:34:11 +0000 (18:34 +0000)
committerdanh-arm <[email protected]>
Thu, 18 Feb 2016 18:34:11 +0000 (18:34 +0000)
Remove non-ASCII character from comment


Trivial merge